Nuprl Lemma : assert_of_eq_int_rw
9,38
postcript
pdf
x
,
y
:
. {(
(
x
=
y
))
(
x
=
y
)}
latex
ProofTree
Definitions
{
T
}
Lemmas
assert
of
eq
int
origin
x,y:
. {(
(x =
y)) 
(x = y)}
x,y:. {((x = y)) (x = y)}